1. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
2. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
